Polyadic codes

A Polyadic Modal -calculus a Polyadic Modal -calculus

The propositional-calculus of Kozen extends modal logic with xed points to achieve a powerful logic for expressing temporal properties of systems modelled by labelled transition systems. We further extend Kozen's logic with polyadic modalities to allow for expressing also quite naturally behavioural relations like bisimula-tion equivalence and simulation preorders. We show that the problem of m...

Polyadic Stochastic Cows

Polyadic devil's lenses.

Devil's lenses (DLs) were recently proposed as a new kind of kinoform lens in which the phase structure is characterized by the "devil's staircase" function. DLs are considered fractal lenses because they are constructed following the geometry of the triadic Cantor set and because they provide self-similar foci along the optical axis. Here, DLs are generalized allowing the inclusion of polyadic...

Operations on polyadic structures

Logical translations for simple attribute-value grammars are numerous (Blackburn, 1994). Only a few exist for more complex attribute-value grammars. In particular, lists and set values and manipulation of such data structures seem difficult to capture in logical languages of reasonable expressivity. A new class of logical languages is presented here to meet this need, namely polyadic propositio...

Polyadic Concept Analysis

The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal contexts. Mathematics Subject Classifications (2000): Primary: 06A23; secondary: 62-07.